منابع مشابه
A Brief History of Natural Deduction
ness 1⁄4 ’ (p. iii). Curry says that he has come to believe, on the basis of his investigations into combinatory logic, `that Gentzen’ s L-system [the sequent formulation] is really a more profound and, in a sense, a more natural approach than the T-system [Curry’ s name for the natural deduction N-system]. ’ This perhaps means that the exposition was of more interest to those researchers inter...
متن کاملa brief history of zero
it is generally recognised that ‘zero’ as we understand the concept today originated in two geographically separated cultures: the maya and indian. however, if zero merely signified a magnitude or a direction separator (i.e. separating those above the zero level from those below the zero level), the egyptian zero, nfr, dating back at least four thousand years, amply served these purposes. if ze...
متن کاملA Natural Extension of Natural Deduction
One of the main ideas of calculi of natural deduction, as introduced by Jaskowski and Gentzen, is that assumptions may be discharged in the course of a derivation. As regards sentential logic, this conception will be extended in so far as not only formulas but also rules may serve as assumptions which can be discharged. The resulting calculi and derivations with rules of any finite level are in...
متن کاملA Deficiency of Natural Deduction
Natural languages are ill-suited to express mathematical reasoning. The purpose of an artificial language-predicate logic-with a deduction system is to enable us to express reasoning clearly and concisely. In this article we give two examples illustrating how Gentzen's system of 'natural de-duction' [2] fails to meet the case. In [1], the following problem is stated and solved: Given two casket...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: History and Philosophy of Logic
سال: 1999
ISSN: 0144-5340,1464-5149
DOI: 10.1080/014453499298165